Department of Computer Science, University of Oxford

Results: 170



#Item
81Parameterised Pushdown Systems with Non-Atomic Writes M. Hague Oxford University, Department of Computer Science and Laboratoire d’Informatique Gaspard-Monge, Universit´e Paris-Est

Parameterised Pushdown Systems with Non-Atomic Writes M. Hague Oxford University, Department of Computer Science and Laboratoire d’Informatique Gaspard-Monge, Universit´e Paris-Est

Add to Reading List

Source URL: www.cs.rhul.ac.uk

Language: English
    82InKreSAT: Modal Reasoning via Incremental Reduction to SAT Mark Kaminski1 and Tobias Tebbi2 1 Department of Computer Science, University of Oxford, UK

    InKreSAT: Modal Reasoning via Incremental Reduction to SAT Mark Kaminski1 and Tobias Tebbi2 1 Department of Computer Science, University of Oxford, UK

    Add to Reading List

    Source URL: www.ps.uni-saarland.de

    Language: English - Date: 2013-03-31 08:34:33
      83Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

      Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

      Add to Reading List

      Source URL: www0.cs.ucl.ac.uk

      Language: English - Date: 2012-09-10 07:41:01
        84∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD

        ∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD

        Add to Reading List

        Source URL: www2013.wwwconference.org

        Language: English - Date: 2014-07-21 08:46:56
        85Completeness results for the ZX-calculus Miriam Backens Department of Computer Science, University of Oxford Quantum Physics and Logic, Kyoto, 2014

        Completeness results for the ZX-calculus Miriam Backens Department of Computer Science, University of Oxford Quantum Physics and Logic, Kyoto, 2014

        Add to Reading List

        Source URL: www-mmm.is.s.u-tokyo.ac.jp

        Language: English - Date: 2015-05-01 07:51:19
          86Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

          Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

          Add to Reading List

          Source URL: www0.cs.ucl.ac.uk

          Language: English - Date: 2012-09-10 07:41:01
            87Contextuality and Noncommutative Geometry Contextuality and Noncommutative Geometry Nadish de Silva Department of Computer Science University of Oxford

            Contextuality and Noncommutative Geometry Contextuality and Noncommutative Geometry Nadish de Silva Department of Computer Science University of Oxford

            Add to Reading List

            Source URL: www-mmm.is.s.u-tokyo.ac.jp

            Language: English - Date: 2015-05-01 07:51:19
              88Karl Moritz Hermann Education 2014–2014 Postdoctoral Researcher, Department of Computer Science, University of Oxford. Research on Semantic Parsing with Deep Learning.

              Karl Moritz Hermann Education 2014–2014 Postdoctoral Researcher, Department of Computer Science, University of Oxford. Research on Semantic Parsing with Deep Learning.

              Add to Reading List

              Source URL: www.karlmoritz.com

              Language: English - Date: 2015-06-09 03:50:39
                89Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford

                Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford

                Add to Reading List

                Source URL: developer.logicblox.com

                Language: English - Date: 2013-10-18 17:50:36
                90Interference, Dependence and Bell’s Theorem Samson Abramsky Department of Computer Science, University of Oxford Samson Abramsky (Department of Computer Science, University Interference,

                Interference, Dependence and Bell’s Theorem Samson Abramsky Department of Computer Science, University of Oxford Samson Abramsky (Department of Computer Science, University Interference,

                Add to Reading List

                Source URL: crest.cs.ucl.ac.uk

                Language: English - Date: 2012-05-13 16:54:48